
#include <stdio.h>


int main()
{
    printf( "tst1\n" );

    getchar();
    return 0;
}
